аксиома бесконечности

См. также в других словарях:

• АКСИОМА БЕСКОНЕЧНОСТИ —     АКСИОМА БЕСКОНЕЧНОСТИ см. Множеств теория. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 …   Философская энциклопедия

• Аксиома бесконечности — Аксиомой бесконечности (Axiom of infinity) называется следующее высказывание теории множеств: , где Аксиома бесконечности провозглашает существование [по меньшей мере одного] бесконечного множества, то есть множества, которое состоит из …   Википедия

• Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… …   Википедия

• БЕСКОНЕЧНОСТИ АКСИОМА — аксиома формальной или содержательной теории, обеспечивающая на . личие бесконечного количества объектов в рассматриваемой теории. Так, Б …   Математическая энциклопедия

• Аксиома пустого множества — Аксиомой [существования] пустого множества называется следующее высказывание теории множеств Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента.… …   Википедия

• ОБЪЕМНОСТИ АКСИОМА — одна из аксиом теории множеств, утверждающая равенство двух множеств, если они содержат одни и те же элементы: В языке, не содержащем символа равенства и имеющем только один предикатный символ , О. а. имеет вид . Для формализации математики в… …   Математическая энциклопедия

• Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия

• ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… …   Википедия

• ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Философская энциклопедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …   Энциклопедия эпистемологии и философии науки